No minfulness induction